|
|
Nástroj pro ladění post-mortem
Kapičák, Peter ; Peringer, Petr (oponent) ; Smrčka, Aleš (vedoucí práce)
Cieľom tejto práce je kontrolovať užívateľom špecifikované vlastnosti nad stopou programu alebo nad log súborom, ktoré by mal program spĺňať alebo naopak, ktoré by nemal spĺňať. Vlastnosti a ich opis sú základom nástroja pre ladenie post-mortem. Sú transformované na deterministický konečný automat aby sa dali overovať v stopách programov a ich opis je dôležitý pre vyhľadávanie konkrétnych udalostí v stopách programov, ktoré sú automatu posielané na vstup. Výstupom nástroja je výsledná správa o tom či boli vlastnosti splnené alebo porušené. Vytvorené riešenie poskytuje overovanie vlastností stôp programov, log súborov bez ohľadu na ich formát a aké udalosti predchádzali porušeniu vlastnosti.
|
|
|
The Design Of Sample Holder For Xrd Measurements In Inert Atmosphere With Displacement Error Correction
Klvač, Ondřej
This article describes a designed of a holder for post-mortem XRD measurements of Li-ion, Na-ion and Li-S electrodes, which need to be performed in the inert atmosphere. The first part describes the measurement method and problems arising during the measurements of the samples. Subsequently, the design and construction of a new cell with hermetic insulation and sample displacement error correction possible during the operation of the diffractometer is described. Finally, the inert gas attenuation within the cell is theoretically calculated. The calculation is verified by practical measurements, and alternatives are proposed to improve the signal-to-noise ratio.
|
|
|
Nástroj pro ladění post-mortem
Kapičák, Peter ; Peringer, Petr (oponent) ; Smrčka, Aleš (vedoucí práce)
Cieľom tejto práce je kontrolovať užívateľom špecifikované vlastnosti nad stopou programu alebo nad log súborom, ktoré by mal program spĺňať alebo naopak, ktoré by nemal spĺňať. Vlastnosti a ich opis sú základom nástroja pre ladenie post-mortem. Sú transformované na deterministický konečný automat aby sa dali overovať v stopách programov a ich opis je dôležitý pre vyhľadávanie konkrétnych udalostí v stopách programov, ktoré sú automatu posielané na vstup. Výstupom nástroja je výsledná správa o tom či boli vlastnosti splnené alebo porušené. Vytvorené riešenie poskytuje overovanie vlastností stôp programov, log súborov bez ohľadu na ich formát a aké udalosti predchádzali porušeniu vlastnosti.
|
host ::
RSS.